Nuprl Definition : scheme-constant
11,40
postcript
pdf
scheme-constant(
R
) == <0, [],
nmr
.
R
>
latex
Definitions
#$n
,
<
a
,
b
>
,
[]
,
x
.
A
(
x
)
FDL editor aliases
scheme-constant
origin